$\forall$${\it es}$:event\_system\{i:l\}, $a$,$b$:es{-}E(${\it es}$). es{-}le(${\it es}$; $a$; $b$) $\Rightarrow$ $a$ c$\leq$ $b$